21. Automata, languages and programming : 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13-17, 1998 : proceedings
المؤلف: Kim G. Larsen, Sven Skyum, Glynn Winskel )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
1443
22. Automata, languages and programming : 24th International Colloquium, ICALP'97 Bologna, Italy, July 7-11, 1997 : proceedings
المؤلف: Pierpaolo Degano...]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
1256
23. Automata, languages and programming : 27th International Colloquium, ICALP'2000, Geneva, July 9-15, 2000 : Proceedings
المؤلف: Ugo Montanri, Jose D.P. Rolim, Emo Welzl )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
1853
24. Automata, languages and programming : 20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993 : Proceedings
المؤلف: A. lingas, R. Karlsson, S. Carlsson )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
700
25. Automata, languages and programming : 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002 : proceedings
المؤلف: Peter Widmayer...]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2380
26. Automata, languages and programming : 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : Proceedings
المؤلف: Jiri Wiedermann, Peter van Emde Boas, Mogens Nielsen )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
1644
27. Automata, languages, and programming : 14th International Colloquium, Karlsruhe, Federal Republic of Germany, July 13-17, 1987 : Proceedings
المؤلف: Thomas Ottmann, ed
المکتبة: (طهران)
موضوع: Cogresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
267
28. Automata, languages and programming : 18th International Colloquium, Madrid, Spain, July 8-12, 1991 : proceedings
المؤلف: J. Leach Albvert, B. Monien, M. Rodriguez Artalejo )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
510
29. Automata, languages and programming : 13th International Colloquium ,Rennes, France, July 15-19, 1986 : Proceedings
المؤلف: edited by Laurent Kott
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
226
30. Automata, languages, and programming : 16th International Colloquium, Stresa, Italy, July 11-15, 1989 : Proceedings
المؤلف: G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca, eds
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
372
31. Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : Proceedings
المؤلف: Timo Lepisto, Arto Salomaa )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
317
32. Automata, languages and programming. 6th colloquium, Graz, Austria, July 16-20, 1979
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Sequential machin theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computer(
رده :
QA
267
.
5
.
S4
.
C63
1979
33. Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings
المؤلف: Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen, )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2076
34. Automata, languages, and programming : 19th international colloquium, Wien, Austria, July 13-17, 1992 : proceedings
المؤلف: W. Kuich )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
623
35. Computational Logic in Multi-Agent Systems
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer Science,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,علوم کامپیوتر
رده :
E-Book
,
36. Developments in language theory
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Formal languages ; Congresses. ; Computer programming ; Congresses. ;
37. Formal description of programming concepts III : Proceedings of the IFIP TC2/ WG 2.2 Working Conference on Formal Description of Programming Concepts, Ebberup, Denmark, 25-28 August 1986
المؤلف: edited by Martin Wirsing
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Formal languages
رده :
QA
76
.
6
.
I179
1986
38. Formal deseription techniques : Proceedings of the First International Conference on formal Description Techniques Stirling, Scotland, 6-9 September, 1988
المؤلف: edited by Kenneth, J. Turner
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Formal languages
رده :
QA
76
.
6
.
I545
1988
39. Grammars and automata for string processing: from mathematics and computer science to biology, and back
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages
رده :
QA
76
.
G64
2003
40. Grammars and automata for string processing : from mathematics and computer science to biology, and back
المؤلف: edited by Carlos Martin-Vide and Victor Mitrana
المکتبة: (طهران)
موضوع: Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-
رده :
QA
76
.
G69
